Trait isotope::term::TermEq [−][src]
pub trait TermEq { fn eq_in(
&self,
other: &Self,
ctx: &mut impl TermEqCtxMut + ?Sized
) -> Option<bool>; }
Expand description
Objects which may be determined equivalent by terms
pub trait TermEq { fn eq_in(
&self,
other: &Self,
ctx: &mut impl TermEqCtxMut + ?Sized
) -> Option<bool>; }
Objects which may be determined equivalent by terms